[IA64] Additional user of pa_clear_uc()
authorAlex Williamson <alex.williamson@hp.com>
Mon, 10 Mar 2008 17:27:42 +0000 (11:27 -0600)
committerAlex Williamson <alex.williamson@hp.com>
Mon, 10 Mar 2008 17:27:42 +0000 (11:27 -0600)
Signed-off-by: Alex Williamson <alex.williamson@hp.com>
xen/arch/ia64/vmx/vmmu.c

index 8dc0750fc147b241c156dda7d5d1bd9da1c6d711..8003fd094f4101f7ccc24af786b8a191c1e725fd 100644 (file)
@@ -160,7 +160,7 @@ fetch_code(VCPU *vcpu, u64 gip, IA64_BUNDLE *pbundle)
 
  again:
     if ( !(VCPU(vcpu, vpsr) & IA64_PSR_IT) ) {   // I-side physical mode
-        gpip = gip & ~(1UL << 63);     // clear UC bit
+        gpip = pa_clear_uc(gip);       // clear UC bit
     }
     else {
         tlb = vtlb_lookup(vcpu, gip, ISIDE_TLB);